Buy Used and New Jonathan P. Bowen Books

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings: 1493 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Andreas Fett,Michael G. Hinchey

ISBN 13: 9783540650706

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings: 1878 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Steve King,Steve Dunne,Andy Galloway

ISBN 13: 9783540679448

Format: Paperback (528 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,David Till,Michael G. Hinchey

ISBN 13: 9783540627173

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings: 2272 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Martin C. Henson,Ken Robinson,Didier Bert

ISBN 13: 9783540431664

Format: Illustrated (552 pages)
Publisher: Springer
Published: 16 Jan 2002

Save for later

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings: 967 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Michael G. Hinchey

ISBN 13: 9783540602712

Format: Paperback (596 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing)

by Jonathan P. Bowen,Suzanne Keene,Kia Ng

ISBN 13: 9781447154051

Format: Hardcover (304 pages)
Publisher: Springer
Published: 18 Sep 2013

Save for later

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers: 10134 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Huibiao Zhu

ISBN 13: 9783319522272

Format: Paperback (228 pages)
Publisher: Springer
Published: 11 Jan 2017

Save for later

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Zhiming Liu,Zili Zhang

ISBN 13: 9783030029272

Format: Paperback (240 pages)
Publisher: Springer
Published: 13 Nov 2018

Save for later

Formal Methods: State of the Art and New Directions

by Paul Boca,Jonathan P. Bowen,Jawed Siddiqi

ISBN 13: 9781447157458

Format: Paperback (300 pages)
Publisher: Springer
Published: 20 Oct 2014

Save for later